<html>
<head><meta charset="utf-8"><title>linting and dynamic checking · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/linting.20and.20dynamic.20checking.html">linting and dynamic checking</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="147755341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/linting%20and%20dynamic%20checking/near/147755341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/linting.20and.20dynamic.20checking.html#147755341">(Nov 15 2018 at 16:45)</a>:</h4>
<p>Another thing that <span class="user-mention" data-user-id="120791">@RalfJ</span> and I were discussing was adding <code>debug_assert</code> checks for things like "access through unaligned reference" -- basically a "cheap and easy" sanitizer-type check that is "always on". This wouldn't really make sense to do until we've defined the validity invariants, I guess, but maybe that should be something that we try to look for during that discussion? Which things could/should be automatically checked?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>